1. Linear algebra
پدیدآورنده : Kaye, Richard W.
کتابخانه: (طهران)
موضوع : Algebras, Linear
رده :
QA
184
.
K39
1998
2. Models of Peano arithmetic
پدیدآورنده : Kaye, Richard W.
کتابخانه: (طهران)
موضوع : ، Arithmetic -- Foundations,، Model theory
رده :
QA
248
.
K39
3. The mathematics of logic
پدیدآورنده : Richard W. Kaye
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع : Logic, Symbolic and mathematical
رده :
511
,.
3
,.
K32
,
2007
4. The mathematics of logic: a guide to completeness theorems and their applications
پدیدآورنده : Kaye, Richard )Richard W.(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
K32
2007
5. The mathematics of logic : a guide to completeness theorems and their applications
پدیدآورنده : Kaye, Richard W.
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
K32
2007
